HyAuLib: modelling Hybrid Automata in Modelica

نویسندگان

  • Tiziano Pulecchi
  • Francesco Casella
چکیده

A library of components for modelling hybrid automata in a natural fashion has been implemented in Modelica. This library exploits and extends the free Modelica library StateGraph to the modelling and simulation of deterministic hybrid systems described by the hybrid automaton formalism. In this contribution the library’s main features are described and its flexibility highlighted by developing models for two classic hybrid systems literature examples.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Connection of Equation- and Automata-based Languages: Transforming the Compositional Interchange Format to Modelica

In recent years, the object-oriented Modelica formalism for dynamic hybrid models has become a de-facto standard for the equation-based modeling, design, and analysis of complex, heterogeneous systems. It provides powerful mechanisms for model structuring and consistent model re-use, and a variety of tools are available that are based on the Modelica formalism. In this paper, an algorithmic tra...

متن کامل

Hybrid Modelling and Process Optimization of Biological Systems

An environment has been developed which comprises mathematical methods, concepts, and tools to enable the processing of experimental data to usable new insights about biological systems. Therefore, a mathematical modelling concept Hybrid Petri-Nets for biological applications (HPNbio) – has been defined which is properly adapted to the demands of biological process. This concept has been implem...

متن کامل

Object - oriented and Structural - dynamic Modeling and Simulation I

The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize on recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems , using components from multiple application domains, have in recent yea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008